fifo_deliver(es;out;d;i;e) == (isrcv(e)) & lnk(e) = out(i) & tag(e) = d 

latex

---

clarification:

fifo_deliver(es;out;d;i;e)
== (es-isrcv(es; e)) & es-lnk(es; e) = out(i)  IdLnk & es-tag(es; e) = d  Id 

latex

Definitions	b, isrcv(e), P & Q, IdLnk, lnk(e), f(a), s = t, Id, tag(e)
FDL editor aliases	fifo_deliver